$\forall$$A$, $B$, $C$:Type, $f$:($B$$\rightarrow$$C$), $g$:($A$$\rightarrow$$B$). ($f$ o $g$) $\in$ $A$$\rightarrow$$C$